. It was first proven by Pafnuty Chebyshev, and a short but advanced proof was given by Srinivasa Ramanujan. The gist of the following elementary proof is due to Paul Erdős. The basic idea of the proof is to show that a certain central binomial coefficient needs to have a prime factor within the desired interval in order to be large enough. This is made possible by a careful analysis of the prime factorization of central binomial coefficients.The main steps of the proof are as follows. First, one shows that every prime power factor p^r that enters into the prime decomposition of the central binomial coefficient \tbinom:=\frac is at most 2n. In particular, every prime larger than \sqrt can enter at most once into this decomposition; that is, its exponent r is at most one. The next step is to prove that \tbinom has no prime factors at all in the gap interval \left(\tfrac, n\right). As a consequence of these two bounds, the contribution to the size of \tbinom coming from all the prime factors that are at most n grows asymptotically as O(\theta^n) for some \theta<4. Since the asymptotic growth of the central binomial coefficient is at least 4^n/2n, one concludes that for n large enough the binomial coefficient must have another prime factor, which can only lie between n and 2n.Indeed, making these estimates quantitative, one obtains that this argument is valid for all n>468. The remaining smaller values of n are easily settled by direct inspection, completing the proof of Bertrand's postulate.==Lemmas and computation==